Die Applicative Order Reduction (AOR) ist eine Ableitungsstrategie beim Lambda-Kalkül, um einen Lambda-Ausdruck zu dessen Normalform abzuleiten. Es werden zuerst die Argumente ausgewertet und erst dann die Funktionen, die die Argumente benötigen. Neben der zweiten Ableitungsstrategie, der Normal Order Reduction (NOR), führt diese Strategie nich...